act($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$a($e$.1;$e$.2)